121. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
122. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
123. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
124. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
125. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
126. Automotive Systems Engineerin
Author: / edited by Markus Maurer, Hermann Winner
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Engineering design,Electronic books
Classification :
E-BOOK
127. Autonomous, Model-Based Diagnosis Agents
Author: by Michael Schroeder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
128. BASIC engineering science
Author: / By Artur Morley and Edward Hughes
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
,.
8
،.
B12
,
M65
1966
129. BASIC numerical mathematics
Author: J C Mason
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: BASIC (Computer program language),Engineering mathematics- Computer programs
Classification :
TA
،
330
،.
B3
,
B934
،
1983
130. BASIC programs for applied mechanics: statics
Author: Weaver, Willia
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Structural analysis )Engineering(-- Computer programs,، BASIC )Computer program language(
Classification :
TA
641
.
W39
131. BASIC programs for chemical engineering design
Author: James H. Weber
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Chemical engineering- Computer programs,BASIC (Computer program language)
Classification :
TP
,
184
,.
W43
,
1984
132. BASIC programs for chemical engineering design
Author: / James H. Weber
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Chemical engineering - Computer programs,BASIC (Computer program language)
Classification :
TP184
.
W43
1384
133. BASIC programs for scientists and engineers
Author: Miller, Alan R., 2391-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Mathematics- Computer programs,، Science- Computer programs,، Engineering- Computer programs,، BASIC )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
134. BASIC programs for scientists and engineers
Author: Miller, Alan R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
135. BASIC reservoir engineering manual
Author: John L. Cranmer, Jr
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Oil reservoir engineering- Computer programs,BASIC (Computer program language)
Classification :
TN
,
871
,.
C692
,
1982
136. BASIC theory of structures
Author: Andrews, K. R. F.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Structural analysis )Engineering(- Computer programs,، BASIC )Computer program language(
Classification :
TA
647
.
A55
1985
138. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
139. Balanced automation systems :
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Systems engineering -- Computer programs--Congresses►Automatic control--Congresses
Classification :
168
.
B24
